realization of disjunction

См. также в других словарях:

• metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

• linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… …   Universalium

• Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium

• automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… …   Universalium

• Free Boolean algebra — In abstract algebra, a branch of mathematics, a free Boolean algebra is a Boolean algebra 〈 B , F 〉, such that the set B (called the carrier ) has a subset whose elements are called generators. The generators satisfy the following properties:… …   Wikipedia

• Multiple realizability — Hilary Putnam, one of the founders of multiple realizability Multiple realizability, in philosophy of mind, is the thesis that the same mental property, state, or event can be implemented by different physical properties, states or events. The… …   Wikipedia

• Liaison (French) — In French, most written word final consonants are silent in most contexts. Liaison is the pronunciation of such a consonant immediately before a following vowel sound. For example, the letter s in the word les ( the ) is generally silent, but it… …   Wikipedia

• technology, history of — Introduction       the development over time of systematic techniques for making and doing things. The term technology, a combination of the Greek technē, “art, craft,” with logos, “word, speech,” meant in Greece a discourse on the arts, both… …   Universalium

• Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… …   Wikipedia

• Simone Weil — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE caption = Simone Weil name = Simone Weil birth = February 3, 1909 Paris, France death = death date and age|1943|08|24|1909|02|03 Ashford, Kent, England …   Wikipedia

• applied logic — Introduction       the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… …   Universalium